dsdeq($d$;$a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($d$.2)($a$)